rt-g0_73c250c9-Kleene_VVM-russian/Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex

\documentclass[10pt,a5paper,leqno%,showframe
]{bookvvmrus}
\input{definitions.tex}
\input{notation_defs.tex}

\title{Введение в метаматематику}
\author{Стефен Коул Клини}
\date{1957}

\begin{document}
\input{title_pages.tex}

\frontmatter
\setcounter{page}{5}%
\input{parts/intros.tex}

\mainmatter
\input{parts/part1-the_problems_of_foundations.tex}
\input{parts/part2-mathematical_logic.tex}
\input{parts/part3-recursive_functions.tex}
\input{parts/part4-mathematical_logic_additional_topics.tex}

\nocite{bernays2020,hilbert2020,langford2020,quine2020,russell2020,veblen2020}

\appendix
\input{parts/translator_s_appendixes.tex}

\backmatter
\makeatletter%
\def\toclevel@chapter{-1}%
\makeatother%
\printbibliography[title={Библиография},keyword={mainBibliography}]
\printbibliography[title={Дополнительный список литературы},
                          keyword={additionalBibliography}]

\tableofcontents

\end{document}